regex to finite automata